An old theater